Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
· One min read
저자: Woo Jin Lee, S.D. Cha, Y.R. Kwon
게재/발표: IEEE Transactions on Software Engineering, Vol. 24, No. 12, pp. 1115-1130, December 1998.
분야: Formal Methods, Petri Net, UML, Requirements Engineering
요구사항 공학에서 유스케이스를 모듈형 Petri Net으로 통합하고 분석하는 기법을 제안합니다. 유스케이스 간 상호작용을 형식적으로 모델링하여 요구사항의 일관성을 검증합니다.